Projekt můžete odevzdávat v GreatSPN editor případně v CPN Tools. Součástí odevzdání je i prezentace vašeho projektu. Prezentace bude osobní, s největší pravděpodobností, během zkouškového období nebo ideálně v zápočtovém týdnu. Spolu s prezentací je potřeba připravit cca 3-4 strany textu.
Projekt by měl splňovat následující podmínky:
-
Projekt bude obsahovat minimálně 15 prvků (součet míst a přechodů).
-
Budou v něm obsažena minimálně dvě místa, která jsou k-omezená, kde k >= 2.
-
Všechna místa a přechody budou vhodně pojmenovaná.
-
Analyzujte vámi navrženou Petriho síť.
-
Jaké vlastnosti váš systém splňuje? (živost, omezenost, reverzibilnost, …)
-
Co tyto vlastnosti říkají o vašem systému? Pokuste se je interpretovat v pojmech vašeho projektu.
-
Je vaše Petriho síť jednou ze speciálních typů? (Volná síť, …)
-
Všechny analýzy budou podpořeny některou ze standardních metod.